es{-}in{-}port(${\it es}$;$l$;${\it tg}$)($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if kind($e$) = rcv($l$,${\it tg}$) then inl val($e$)  else inr $\cdot$  fi